Functions and mappings - PDFSEARCH.IO - Document Search Engine

Functions and mappings
Results: 2485

#	Item
241	A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Mathematical logic Model theory Proof of knowledge Functions and mappings IP Zero-knowledge proof Structure Functor Soundness Mathematics Cryptographic protocols Logic
242	Design Principles for Teaching Primary Calculus Add to Reading List Source URL: primarycalculus.org Language: English - Date: 2013-06-09 07:05:45 Calculus Statistics education Mathematics education Simulation Function Causality Derivative Multiple representations Mathematical analysis Mathematics Functions and mappings Science
243	Densities and Distributions Back in section 12.1 I presented a careful and full definition of the word “function.” This is useful even though you should already have a pretty good idea of what the word means. If you Add to Reading List Source URL: www.physics.miami.edu Language: English - Date: 2012-12-07 14:36:27 Functions and mappings Generalized functions Calculus of variations Derivative Differential of a function Distribution Path integral formulation Continuous function Integral Mathematical analysis Mathematics Differential calculus
244	Formal Certification of Code-Based Cryptographic Proofs Gilles Barthe1,2 Benjamin Gr´egoire1,3 Santiago Zanella1,3 Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Function XTR Computability theory Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Functions and mappings
245	Computer-Aided Security Proofs for the Working Cryptographer⋆ Gilles Barthe1 , Benjamin Gr´egoire2, Sylvain Heraud2 , and Santiago Zanella B´eguelin1 1 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematics Functions and mappings Function First-order logic Interpretation Mathematical logic Model theory Logic
246	Towards Complete Reasoning about Axiomatic Specifications Swen Jacobs and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-11-10 10:57:45 Model theory Functions and mappings Function Structure Axiom Interpretation First-order logic Mathematics Mathematical logic Logic
247	ABHINAV NATIONAL MONTHLY REFEREED JOURNAL OF RESEARCH IN SCIENCE & TECHNOLOGY www.abhinavjournal.com HATIM’S THEORY WITH RESPECT TO MATTER, Add to Reading List Source URL: www.abhinavjournal.com Language: English - Date: 2014-01-30 00:14:50 Elementary mathematics Probability theory Functions and mappings Linear algebra Independence Function Energy Eigenvalues and eigenvectors Mathematics Algebra Variables
248	PROPERTIES OF THE GITTINS INDEX WITH APPLICATION TO OPTIMAL SCHEDULING Samuli Aalto1, Urtzi Ayesta2,3, Rhonda Righter4 1 Aalto University School of Science and Technology, Finland Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2012-01-01 05:05:35 Functional analysis Functions and mappings Decision theory Design of experiments Gittins index Monotonic function Function Probability density function Continuous function Mathematical analysis Mathematics Calculus
249	hiJaC Higher-Order UTP for Theories of Object-Orientation Frank Zeyda and Ana Cavalcanti University of York (UK) Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-28 06:36:54 Formal methods Mathematics Computability theory Functions and mappings Predicate logic Mereology Logic
250	Domain Adaptation under Target and Conditional Shift Kun Zhang, Bernhard Sch¨olkopf, Krikamol Muandet, Zhikun Wang Dept. Empirical Inference, Max Planck Institute for Intelligent Systems, T¨ubingen, Germany Summary: Wh Add to Reading List Source URL: people.tuebingen.mpg.de Language: English - Date: 2013-07-11 20:04:58 Information theory Regression analysis Estimation theory Mathematics Functions and mappings Function

UPDATE